SWAMY, NIKHIL: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The impact assessment of Diwali fireworks emissions on the air quality of a tropical urban site, Hyderabad, India, during three consecutive years

Venkata Swamy Yerramsetti, Anu Rani Sharma, Nikhil Gauravarapu Navlur, Venkanna Rapolu, N. S. K. Chitanya Dhulipala, P. R. Sinha

Journal:

Environmental Monitoring and Assessment

Year:

2013

Language:

english

File:

PDF, 1.46 MB

english, 2013

2

[IEEE 2008 IEEE Symposium on Security and Privacy (sp 2008) - Oakland, CA, USA (2008.05.18-2008.05.22)] 2008 IEEE Symposium on Security and Privacy (sp 2008) - Fable: A Language for Enforcing User-defined Security Policies

Swamy, Nikhil, Corcoran, Brian J., Hicks, Michael

Year:

2008

Language:

english

File:

PDF, 292 KB

english, 2008

3

[IEEE MILCOM 2007 - IEEE Military Communications Conference - Orlando, FL, USA (2007.10.29-2007.10.31)] MILCOM 2007 - IEEE Military Communications Conference - Verified Enforcement of Security Policies for Cross-Domain Information Flows

Swamy, Nikhil, Hicks, Michael, Tsang, Simon

Year:

2007

Language:

english

File:

PDF, 543 KB

english, 2007

4

Safe & Efficient Gradual Typing for TypeScript

Rastogi, Aseem, Swamy, Nikhil, Fournet, Cédric, Bierman, Gavin, Vekris, Panagiotis

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

5

Verified low-level programming embedded in F*

Protzenko, Jonathan, Fournet, Cédric, Swamy, Nikhil, Zinzindohoué, Jean-Karim, Rastogi, Aseem, Ramananandro, Tahina, Wang, Peng, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Hriţcu, Cătălin,

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 452 KB

english, 2017

6

Fluorinated 2′-hydroxychalcones as garcinol analogs with enhanced antioxidant and anticancer activities

Subhash Padhye, Aamir Ahmad, Nikhil Oswal, Prasad Dandawate, Rukhsana A. Rub, Jyoti Deshpande, K. Venkateswara Swamy, Fazlul H. Sarkar

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2010

Language:

english

File:

PDF, 568 KB

english, 2010

7

Dynamic inference of polymorphic lock types

James Rose, Nikhil Swamy, Michael Hicks

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 408 KB

english, 2005

8

Safe manual memory management in Cyclone

Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 699 KB

english, 2006

9

Pseudomonas otitidis as a potential biocatalyst for polyhydroxyalkanoates (PHA) synthesis using synthetic wastewater and acidogenic effluents

M. Venkateswar Reddy, G.N. Nikhil, S. Venkata Mohan, Y.V. Swamy, P.N. Sarma

Journal:

Bioresource Technology

Year:

2012

Language:

english

File:

PDF, 493 KB

english, 2012

10

[IEEE 2011 IEEE Symposium on Security and Privacy (SP) - Oakland, CA, USA (2011.05.22-2011.05.25)] 2011 IEEE Symposium on Security and Privacy - Verified Security for Browser Extensions

Guha, Arjun, Fredrikson, Matthew, Livshits, Benjamin, Swamy, Nikhil

Year:

2011

Language:

english

File:

PDF, 1.07 MB

english, 2011

11

Behavior of acidogenesis during biohydrogen production with formate and glucose as carbon source: Substrate associated dehydrogenase expression

Nikhil, G.N., Venkata Mohan, S., Swamy, Y.V.

Journal:

International Journal of Hydrogen Energy

Year:

2014

Language:

english

File:

PDF, 1.66 MB

english, 2014

12

Systematic approach to assess biohydrogen potential of anaerobic sludge and soil rhizobia as biocatalysts: Influence of crucial factors affecting acidogenic fermentation

Nikhil, G.N., Venkata Mohan, S., Swamy, Y.V.

Journal:

Bioresource Technology

Year:

2014

Language:

english

File:

PDF, 885 KB

english, 2014

13

Environmental monitoring of surface ozone and other trace gases over different time scales: chemistry, transport and modeling

Venkanna, R., Nikhil, G. N., Siva Rao, T., Sinha, P. R., Swamy, Y. V.

Journal:

International Journal of Environmental Science and Technology

Year:

2015

Language:

english

File:

PDF, 1.27 MB

english, 2015

14

[ACM Press the 35th SIGMOD international conference - Providence, Rhode Island, USA (2009.06.29-2009.07.02)] Proceedings of the 35th SIGMOD international conference on Management of data - SIGMOD '09 - Cross-tier, label-based security enforcement for web applications

Corcoran, Brian J., Swamy, Nikhil, Hicks, Michael

Year:

2009

Language:

english

File:

PDF, 575 KB

english, 2009

15

Spray deposited copper zinc tin sulphide (Cu 2 ZnSnS 4 ) film as a counter electrode in dye sensitized solar cells

Swami, Sanjay Kumar, Chaturvedi, Neha, Kumar, Anuj, Chander, Nikhil, Dutta, Viresh, Kumar, D. Kishore, Ivaturi, A., Senthilarasu, S., Upadhyaya, Hari M.

Journal:

Physical Chemistry Chemical Physics

Year:

2014

Language:

english

File:

PDF, 2.22 MB

english, 2014

16

[IEEE 2011 IEEE 24th Computer Security Foundations Symposium (CSF) - Cernay-la-Ville, France (2011.06.27-2011.06.29)] 2011 IEEE 24th Computer Security Foundations Symposium - Modular Protections against Non-control Data Attacks

Schlesinger, Cole, Pattabiraman, Karthik, Swamy, Nikhil, Walker, David, Zorn, Benjamin

Year:

2011

Language:

english

File:

PDF, 540 KB

english, 2011

17

[IEEE 2007 Canadian Conference on Electrical and Computer Engineering - Vancouver, BC, Canada (2007.04.22-2007.04.26)] 2007 Canadian Conference on Electrical and Computer Engineering - Motion Adaptive Video Denoising in the Wavelet Domain Based on Bivariate Shrinkage

Gupta, Nikhil, Swamy, M. N. S., Plotkin, Eugene I.

Year:

2007

Language:

english

File:

PDF, 826 KB

english, 2007

18

Reduced ultraviolet light induced degradation and enhanced light harvesting using YVO4:Eu3+ down-shifting nano-phosphor layer in organometal halide perovskite solar cells

Chander, Nikhil, Khan, A. F., Chandrasekhar, P. S., Thouti, Eshwar, Swami, Sanjay Kumar, Dutta, Viresh, Komarala, Vamsi K.

Journal:

Applied Physics Letters

Year:

2014

Language:

english

File:

PDF, 1.07 MB

english, 2014

19

Role of Nitrogen Oxides, Black Carbon, and Meteorological Parameters on the Variation of Surface Ozone Levels at a Tropical Urban Site - Hyderabad, India

Yerramsetti, Venkata Swamy, Gauravarapu Navlur, Nikhil, Rapolu, Venkanna, Dhulipala, N. S. K. Chitanya, Sinha, Puna Ram, Srinavasan, Shailaja, Anupoju, Gangagni Rao

Journal:

CLEAN – Soil, Air, Water

Year:

2013

Language:

english

File:

PDF, 978 KB

english, 2013

20

[IEEE 2006 International Conference on Image Processing - Atlanta Marriott Marquis, Atlanta, GA, USA (2006.10.8-2006.10.11)] 2006 International Conference on Image Processing - Temporally-Adaptive MAP Estimation for Video Denoising in the Wavelet Domain

Gupta, Nikhil, Plotkin, Eugene, Swamy, M.

Year:

2006

Language:

english

File:

PDF, 4.13 MB

english, 2006

21

Applied potentials regulate recovery of residual hydrogen from acid-rich effluents: Influence of biocathodic buffer capacity over process performance

Nikhil, G.N., Venkata Mohan, S., Swamy, Y.V.

Journal:

Bioresource Technology

Year:

2015

Language:

english

File:

PDF, 798 KB

english, 2015

22

Secure distributed programming with value-dependent types

SWAMY, NIKHIL, CHEN, JUAN, FOURNET, CÉDRIC, STRUB, PIERRE-YVES, BHARGAVAN, KARTHIKEYAN, YANG, JEAN

Journal:

Journal of Functional Programming

Year:

2013

Language:

english

File:

PDF, 1.74 MB

english, 2013

23

Significance of volatile organic compounds and oxides of nitrogen on surface ozone formation at semi-arid tropical urban site, Hyderabad, India

Venkanna, R., Nikhil, G. N., Sinha, P. R., Rao, T. Siva, Swamy, Y. V.

Journal:

Air Quality, Atmosphere & Health

Year:

2016

Language:

english

File:

PDF, 2.58 MB

english, 2016

24

[ACM Press the 16th international conference - Banff, Alberta, Canada (2007.05.08-2007.05.12)] Proceedings of the 16th international conference on World Wide Web - WWW '07 - Defeating script injection attacks with browser-enforced embedded policies

Jim, Trevor, Swamy, Nikhil, Hicks, Michael

Year:

2007

Language:

english

File:

PDF, 243 KB

english, 2007

25

Role of lightning phenomenon over surface O3and NOxat a semi-arid tropical site Hyderabad, India: inter-comparison with satellite retrievals

Venkanna, R., Nikhil, G. N., Sinha, P. R., Siva Rao, T., Swamy, Y. V.

Journal:

Theoretical and Applied Climatology

Year:

2016

Language:

english

File:

PDF, 3.48 MB

english, 2016

26

[ACM Press the third ACM SIGPLAN workshop - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '08 - Verified enforcement of stateful information release policies

Swamy, Nikhil, Hicks, Michael

Year:

2008

Language:

english

File:

PDF, 233 KB

english, 2008

27

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - A theory of typed coercions and its applications

Swamy, Nikhil, Hicks, Michael, Bierman, Gavin M.

Year:

2009

Language:

english

File:

PDF, 518 KB

english, 2009

28

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Secure distributed programming with value-dependent types

Swamy, Nikhil, Chen, Juan, Fournet, Cédric, Strub, Pierre-Yves, Bhargavan, Karthikeyan, Yang, Jean

Year:

2011

Language:

english

File:

PDF, 619 KB

english, 2011

29

[ACM Press the 2008 ACM symposium - Tokyo, Japan (2008.03.18-2008.03.20)] Proceedings of the 2008 ACM symposium on Information, computer and communications security - ASIACCS '08 - Verified implementations of the information card federated identity-management protocol

Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D., Swamy, Nikhil

Year:

2008

Language:

english

File:

PDF, 1.69 MB

english, 2008

30

Verifying higher-order programs with the dijkstra monad

Swamy, Nikhil, Weinberger, Joel, Schlesinger, Cole, Chen, Juan, Livshits, Benjamin

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 714 KB

english, 2013

31

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Probabilistic relational verification for cryptographic implementations

Barthe, Gilles, Fournet, Cédric, Grégoire, Benjamin, Strub, Pierre-Yves, Swamy, Nikhil, Zanella-Béguelin, Santiago

Year:

2014

Language:

english

File:

PDF, 719 KB

english, 2014

32

[ACM Press the 2010 ACM SIGPLAN conference - Toronto, Ontario, Canada (2010.06.05-2010.06.10)] Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 - Type-preserving compilation of end-to-end verification of security enforcement

Chen, Juan, Chugh, Ravi, Swamy, Nikhil

Year:

2010

Language:

english

File:

PDF, 989 KB

english, 2010

33

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Lightweight monadic programming in ML

Swamy, Nikhil, Guts, Nataliya, Leijen, Daan, Hicks, Michael

Year:

2011

Language:

english

File:

PDF, 693 KB

english, 2011

34

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Self-certification

Strub, Pierre-Yves, Swamy, Nikhil, Fournet, Cedric, Chen, Juan

Year:

2012

Language:

english

File:

PDF, 818 KB

english, 2012

35

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Fully abstract compilation to JavaScript

Fournet, Cedric, Swamy, Nikhil, Chen, Juan, Dagand, Pierre-Evariste, Strub, Pierre-Yves, Livshits, Benjamin

Year:

2013

Language:

english

File:

PDF, 534 KB

english, 2013

36

[ACM Press the 11th ACM SIGPLAN-SIGSOFT Workshop - Seattle, Washington (2013.06.20-2013.06.20)] Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering - PASTE '13 - Increasing human-tool interaction via the web

Ball, Thomas, de Halleux, Peli, Swamy, Nikhil, Leijen, Daan

Year:

2013

Language:

english

File:

PDF, 264 KB

english, 2013

37

[ACM Press the 5th ACM workshop - Austin, Texas, USA (2011.01.29-2011.01.29)] Proceedings of the 5th ACM workshop on Programming languages meets program verification - PLPV '11 - Verifying stateful programs with substructural state and hoare types

Borgstrom, Johannes, Chen, Juan, Swamy, Nikhil

Year:

2011

Language:

english

File:

PDF, 544 KB

english, 2011

38

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Safe & Efficient Gradual Typing for TypeScript

Rastogi, Aseem, Swamy, Nikhil, Fournet, Cédric, Bierman, Gavin, Vekris, Panagiotis

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

39

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Gradual typing embedded securely in JavaScript

Swamy, Nikhil, Fournet, Cedric, Rastogi, Aseem, Bhargavan, Karthikeyan, Chen, Juan, Strub, Pierre-Yves, Bierman, Gavin

Year:

2014

Language:

english

File:

PDF, 630 KB

english, 2014

40

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Verifying higher-order programs with the dijkstra monad

Swamy, Nikhil, Weinberger, Joel, Schlesinger, Cole, Chen, Juan, Livshits, Benjamin

Year:

2013

Language:

english

File:

PDF, 714 KB

english, 2013

41

Assessing potential cathodes for resource recovery through wastewater treatment and salinity removal using non-buffered microbial electrochemical systems

Nikhil, G.N., Yeruva, Dileep Kumar, Venkata Mohan, S., Swamy, Y.V.

Journal:

Bioresource Technology

Year:

2016

Language:

english

File:

PDF, 2.81 MB

english, 2016

42

Self-certification

Strub, Pierre-Yves, Swamy, Nikhil, Fournet, Cedric, Chen, Juan

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 818 KB

english, 2012

43

Lightweight monadic programming in ML

Swamy, Nikhil, Guts, Nataliya, Leijen, Daan, Hicks, Michael

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 693 KB

english, 2011

44

Secure distributed programming with value-dependent types

Swamy, Nikhil, Chen, Juan, Fournet, Cédric, Strub, Pierre-Yves, Bhargavan, Karthikeyan, Yang, Jean

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 619 KB

english, 2011

45

[ACM Press the 2016 ACM Workshop - Vienna, Austria (2016.10.24-2016.10.24)] Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 - Formal Verification of Smart Contracts

Bhargavan, Karthikeyan, Swamy, Nikhil, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Fournet, Cédric, Gollamudi, Anitha, Gonthier, Georges, Kobeissi, Nadim, Kulatova, Natalia, Rastogi, Aseem,

Year:

2016

Language:

english

File:

PDF, 903 KB

english, 2016

46

Energy-positive nitrogen removal of pharmaceutical wastewater by coupling heterotrophic nitrification and electrotrophic denitrification

Nikhil, G.N., Suman, P., Venkata Mohan, S., Swamy, Y.V.

Journal:

Chemical Engineering Journal

Year:

2017

Language:

english

File:

PDF, 721 KB

english, 2017

47

[IEEE 2017 IEEE Symposium on Security and Privacy (SP) - San Jose, CA, USA (2017.5.22-2017.5.26)] 2017 IEEE Symposium on Security and Privacy (SP) - Implementing and Proving the TLS 1.3 Record Layer

Delignat-Lavaud, Antoine, Fournet, Cedric, Kohlweiss, Markulf, Protzenko, Jonathan, Rastogi, Aseem, Swamy, Nikhil, Zanella-Beguelin, Santiago, Bhargavan, Karthikeyan, Pan, Jianyang, Zinzindohoue, Jean

Year:

2017

Language:

english

File:

PDF, 543 KB

english, 2017

48

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - Dijkstra monads for free

Ahman, Danel, Hriţcu, Cătălin, Maillard, Kenji, Martínez, Guido, Plotkin, Gordon, Protzenko, Jonathan, Rastogi, Aseem, Swamy, Nikhil

Year:

2017

Language:

english

File:

PDF, 483 KB

english, 2017

49

Fully abstract compilation to JavaScript

Fournet, Cedric, Swamy, Nikhil, Chen, Juan, Dagand, Pierre-Evariste, Strub, Pierre-Yves, Livshits, Benjamin

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 534 KB

english, 2013

50

Applied resistance for power generation and energy distribution in microbial fuel cells with rationale for maximum power point

Nikhil, G.N., Krishna Chaitanya, D.N.S., Srikanth, S., Swamy, Y.V., Venkata Mohan, S.

Journal:

Chemical Engineering Journal

Year:

2017

Language:

english

File:

PDF, 757 KB

english, 2017